formal logic description